Section: New Results

Source to source traceability in Polychrony

Participants : Loïc Besnard, François Fabre, Thierry Gautier.

To fulfill a mandatory requirement for adoption and qualification of Polychrony environment on the open-source industrial platform of the Polarsys IWG, we have integrated source to source traceability features into the Polychrony toolset. The implementation of traceability is based on the definition of structures of data and algorithms allowing to follow the transformation of objects since the Eclipse modeler of the SME Platform until the generated code. These elements have a direct application with our industrial partners, as, for example, Geensoft with whom, within the framework of the ANR project Spacify, we implemented a simulator of embedded software for satellite applications. We have also integrated such a simulator mode in the Polychrony toolset. Moreover, the error messages from the Signal compiler (Signal Toolbox) are now directly visible on the SME Graphical User Interface and on the Synoptic model (Synoptic is a satellite domain-specific modeling language).